Lean 4
←
Lean 3
Lean
のバージョン4系
コードの書き方がかなり変わっている
Lean 4の実装例
Examples - Lean Manual
論文系
Lean papers
Lean日本語コミュニティ
LEAN JA
GitHub:
lean-ja · GitHub
Discordへの招待リンクがある
Lean 4でHello World
Lean 4 基礎
Lean 4 入出力
Lean 4 関数型プログラミング
Lean 4 デバッグ
#print
Lean 4 マクロ
Lean 4のドキュメント、学習のためのドキュメント
Theorem Proving in Lean 4 - Theorem Proving in Lean 4
Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳
What is Lean - Lean Manual
『Mathematics in Lean』
『Functional Programming in Lean』
逆引き、チートシート
Lean4 タクティク逆引きリスト - Lean4 タクティク逆引きリスト
Web上で実行できるものもある
Lean 4 Web
数学系のためのLean勉強会
yuma-mizuno/lean-math-workshop
Lean勉強会
Leanと機械学習とかLLM関連
LeanとLLM
LeanDojo
Natural number game
ProofWidgets4
PatrickMassot/leanblueprint: plasTeX plugin to build formalization blueprints.
Lean mathlib
Leanで証明している事例
iehality/lean4-logic at system-modal-doc
Lean 4で
様相論理
を形式化している
Leanと様相論理
Gödel's First Incompleteness Theorem - Logic Formalization in Lean 4
参考
プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)
Learning Lean 4
#Lean